${\it pr}$ $\vDash$ $X$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$X$($S$(${\it pr}$))